Feeds to Scour
SubscribedAll
Scoured 77897 posts in 2.16 s
Safety VS Security
dev.to·10h·
Discuss: DEV
🛡️Security Type Systems
Preview
Report Post
Designing Boring Software with Functional Programming
agentultra.com·16h
🪞Homoiconicity
Preview
Report Post
Towards automated formal security analysis of SAML V2.0 Web Browser SSO standard -- the POST/Artifact use case
arxiv.org·14h
🛡️Security Type Systems
Preview
Report Post
Design Decision for Role-Based Access Control (RBAC)
cyberark.com·5h·
Discuss: DEV
🛡️Capability Security
Preview
Report Post
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·7h
🛡️Taint Analysis
Preview
Report Post
Evolution of LLMs use by a programmer
asfaload.com·2h·
Discuss: Hacker News
🎮Language Ergonomics
Preview
Report Post
What is API Security?
securityscorecard.com·1h
🔧API Design
Preview
Report Post
Type-safe eval in Grace
haskellforall.com·1d·
🌊Gradual Effects
Preview
Report Post
Stop Overusing Interfaces (2017)
blog.hovland.xyz·4h·
Discuss: Hacker News
🌉Cross-Platform FFI
Preview
Report Post
GNU C Language Manual
gnu.org·1m
🪄C Metaprogramming
Preview
Report Post
Simplex, a workflow specification language for autonomous agents
github.com·22h·
Discuss: Hacker News
🎭Program Synthesis
Preview
Report Post
Calculus Made Easy
calculusmadeeasy.org·4h
πPi Calculus
Preview
Report Post
Patterns All the Way Down: A Generalization for Graph-Like Things
medium.com·3h·
Discuss: Hacker News
🪢Rope Data Structures
Preview
Report Post
A new era of agents, a new era of posture
microsoft.com·4h
🛡️Capability Security
Preview
Report Post
Secure Third-Party Tool Calling in LlamaIndex Using Auth0
auth0.com·19h
🌉Language Bindings
Preview
Report Post
Introducing FastMCP 3.0 🚀
jlowin.dev·21h·
Discuss: Hacker News
🛡️Capability VMs
Preview
Report Post
SLSA: Safeguarding artifact integrity across any software supply chain
sam.roque-worcel.com·21h·
Discuss: Hacker News
Configuration Validation
Preview
Report Post
Eliciting Harmful Capabilities by Fine-Tuning On Safeguarded Outputs
arxiv.org·14h
🛡️Capability Security
Preview
Report Post
Practical Protection: Getting Started with Power Platform Security
practical365.com·1d
🛡️Capability Security
Preview
Report Post
We built Cedar with automated reasoning and differential testing (2023)
amazon.science·1d·
Discuss: Hacker News
🧩Constraint Logic
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help